Crank Of A Partition

In number theory, the crank of a partition of an integer is a certain integer associated with the partition. The term was first introduced without a definition by Freeman Dyson in a 1944 paper published in Eureka, a journal published by the Mathematics Society of Cambridge University. Dyson then gave a list of properties this yet-to-be-defined quantity should have. In 1988, George E. Andrews and Frank Garvan discovered a definition for the crank satisfying the properties hypothesized for it by Dyson.

Dyson's crank

Let ''n'' be a non-negative integer and let ''p''(''n'') denote the number of partitions of ''n'' (''p''(0) is defined to be 1). Srinivasa Ramanujan in a paper published in 1918 stated and proved the following congruences for the partition function ''p''(''n''), since known as Ramanujan congruences.

* ''p''(5''n'' + 4) ≡ 0 (mod 5)
* ''p''(7''n'' + 5) ≡ 0 (mod 7)
* ''p''(11''n'' + 6) ≡ 0 (mod 11)

These congruences imply that partitions of numbers of the form 5''n'' + 4 (respectively, of the forms 7''n'' + 5 and 11''n'' + 6 ) can be divided into 5 (respectively, 7 and 11) subclasses of equal size. The then known proofs of these congruences were based on the ideas of generating functions and they did not specify a method for the division of the partitions into subclasses of equal size.

In his Eureka paper Dyson proposed the concept of the rank of a partition. The rank of a partition is the integer obtained by subtracting the number of parts in the partition from the largest part in the partition. For example, the rank of the partition λ = of 9 is 4 − 5 = −1. Denoting by ''N''(''m'', ''q'', ''n''), the number of partitions of ''n'' whose ranks are congruent to ''m'' modulo ''q'', Dyson considered ''N''(''m'', 5, 5 ''n'' + 4) and ''N''(''m'', 7, 7''n'' + 5) for various values of ''n'' and ''m''. Based on empirical evidences Dyson formulated the following conjectures known as ''rank conjectures''.

For all non-negative integers ''n'' we have:
* ''N''(0, 5, 5''n'' + 4) = ''N''(1, 5, 5''n'' + 4) = ''N''(2, 5, 5''n'' + 4) = ''N''(3, 5, 5''n'' + 4) = ''N''(4, 5, 5''n'' + 4).
* ''N''(0, 7, 7''n'' + 5) = ''N''(1, 7, 7''n'' + 5) = ''N''(2, 7, 7''n'' + 5) = ''N''(3, 7, 7''n'' + 5) = ''N''(4, 7, 7''n'' + 5) = ''N''(5, 7, 7''n'' + 5) = ''N''(6, 7, 7''n'' + 5)

Assuming that these conjectures are true, they provided a way of splitting up all partitions of numbers of the form 5''n'' + 4 into five classes of equal size: Put in one class all those partitions whose ranks are congruent to each other modulo 5. The same idea can be applied to divide the partitions of integers of the form 7''n'' + 6 into seven equally numerous classes. But the idea fails to divide partitions of integers of the form 11''n'' + 6 into 11 classes of the same size, as the following table shows.

Thus the rank cannot be used to prove the theorem combinatorially. However, Dyson wrote,

'' I hold in fact :''

* '' that there exists an arithmetical coefficient similar to, but more recondite than, the rank of a partition; I shall call this hypothetical coefficient the "crank" of the partition and denote by'' ''M''(''m'', ''q'', ''n'') ''the number of partitions of'' ''n'' ''whose crank is congruent to'' ''m'' modulo ''q;''
* ''that'' ''M''(''m'', ''q'', ''n'') = ''M''(''q'' − ''m'', ''q'', ''n'');
* ''that'' ''M''(0, 11, 11''n'' + 6) = ''M''(1, 11, 11''n'' + 6) = ''M''(2, 11, 11''n'' + 6) = ''M''(3, 11, 11''n'' + 6) = ''M''(4, 11, 11''n'' + 6);
* ''that . . . ''

''Whether these guesses are warranted by evidence, I leave it to the reader to decide. Whatever the final verdict of posterity may be, I believe the "crank" is unique among arithmetical functions in having been named before it was discovered. May it be preserved from the ignominious fate of the planet Vulcan. ''

Definition of crank

In a paper published in 1988 George E. Andrews and F. G. Garvan defined the crank of a partition as follows:

: For a partition ''λ'', let ''ℓ''(''λ'') denote the largest part of ''λ'', ''ω''(''λ'') denote the number of 1's in ''λ'', and ''μ''(''λ'') denote the number of parts of ''λ'' larger than ''ω''(''λ''). The crank ''c''(''λ'') is given by
:: $c(\lambda)=\begin \ell(\lambda) & \text \omega(\lambda)=0 \\ \mu(\lambda)-\omega(\lambda) &\text \omega(\lambda)>0.\end$

The cranks of the partitions of the integers 4, 5, 6 are computed in the following tables.

Notations

For all integers ''n'' ≥ 0 and all integers ''m'', the number of partitions of ''n'' with crank equal to ''m'' is denoted by ''M''(''m'',''n'') except for ''n'' = 1 where ''M''(−1,1) = −''M''(0,1) = ''M''(1,1) = 1 as given by the following generating function. The number of partitions of ''n'' with crank equal to ''m'' modulo ''q'' is denoted by ''M''(''m'',''q'',''n'').

The generating function for ''M''(''m'',''n'') is given below:

: $\sum_^\sum_^\infty M(m,n) z^mq^n = \prod_^\infty \frac$

Basic result

Andrews and Garvan proved the following result which shows that the crank as defined above does meet the conditions given by Dyson.

* ''M''(0, 5, 5''n'' + 4) = ''M''(1, 5, 5''n'' + 4) = ''M''(2, 5, 5''n'' + 4) = ''M''(3, 5, 5''n'' + 4) = ''M''(4, 5, 5''n'' + 4) = ''p''(5''n'' + 4) / 5
* ''M''(0, 7, 7''n'' + 5) = ''M''(1, 7, 7''n'' + 5) = ''M''(2, 7, 7''n'' + 5) = ''M''(3, 7, 7''n'' + 5) = ''M''(4, 7, 7''n'' + 5) = ''M''(5, 7, 7''n'' + 5) = ''M''(6, 7, 7''n'' + 5) = ''p''(7''n'' + 5) / 7
* ''M''(0, 11, 11''n'' + 6) = ''M''(1, 11, 11''n'' + 6) = ''M''(2, 11, 11''n'' + 6) = ''M''(3, 11, 11''n'' + 6) = . . . = ''M''(9, 11, 11''n'' + 6) = ''M''(10, 11, 11''n'' + 6) = ''p''(11''n'' + 6) / 11

The concepts of rank and crank can both be used to classify partitions of certain integers into subclasses of equal size. However the two concepts produce different subclasses of partitions. This is illustrated in the following two tables.

Ramanujan and cranks

Recent work by Bruce C. Berndt and his coauthors have revealed that Ramanujan knew about the crank, although not in the form that Andrews and Garvan have defined. In a systematic study of the Lost Notebook of Ramanujan, Berndt and his coauthors have given substantial evidence that Ramanujan knew about the dissections of the crank generating function.

References

{{reflist

Integer partitions
Arithmetic functions
Srinivasa Ramanujan